تعداد ۱۳ پاسخ غیر تکراری از ۱۳ پاسخ تکراری در مدت زمان ۰,۸۱ ثانیه یافت شد.

1. Computer-aided verification: proceedings 2nd International conference, CAV'90

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification

رده :

TK

7874

.

D553

1990a

2. Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

پدیدآورنده : CHARME '39 )3991: Arles, France(

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Integrated circuits-- Design and construction-- Data processing-- Congresses,، Integrated circuits-- Verification-- Congresses,، Computer-aided design-- Congresses

رده :

TK

7874

.

C55

1993

3. Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design,Congresses ، Integrated circuits-- Verification

رده :

TK

7874

.

75

.

C453

2001

4. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)

موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses

رده :

TK

7874

.

A3353

1991

5. EDA for IC system design, verification, and testing

پدیدآورنده : / edited by Louis Scheffer, Luciano Lavagno, Grant Martin

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits--Computer-aided design,Integrated circuits--Verification--Data processing

رده :

TK7874

.

E26

2006

6. EDA for IC system design, verification, and testing

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Computer-aided design ، Integrated circuits,Verification Data processing ، Integrated circuits

رده :

TK

7874

.

E26

2006

7. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

پدیدآورنده : Alan J. Hu, Andrew K. Martin )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

رده :

QA

76

.

L28

Vol

.

3312

8. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings

پدیدآورنده : Mark D. Aagaard, John W. O'Leary )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

رده :

QA

76

.

L28

Vol

.

2517

9. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings

پدیدآورنده : Warren A. Hunt, Jr., Steven D. Johnson )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification

رده :

QA

76

.

L28

Vol

.

1954

10. Generating Hardware Assertion Checkers

پدیدآورنده : \ Marc Boulé, Zeljko Zilic

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدار‌های مجتمع -- راستی‌آزمایی

رده :

E-Book

,

11. Introduction to formal hardware verification

پدیدآورنده : Kropf, Thomas

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification

رده :

TK

7874

.

75

.

K76

1999

12. Logic synthesis and verification algorithms

پدیدآورنده : Hachtel, Gary D.

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design

رده :

TK

7874

.

75

.

H33

1996

13. The fusion of hardware design and verification :proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Desi Verification, Glasgow, Scotland, 4-6 July 1988

پدیدآورنده : edited by George J. Milne

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Integrated circuits--Design and construction--Data-processing--Congres,Computer-aided design--Congresses,Integrated circuits--Verification--Congresses

رده :

TK

،

7874

،.

I328

،

1988

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است